LVC-Interoperation Development Framework for Acquiring High Reliable Cyber-Physical Weapon Systems
نویسندگان
چکیده
منابع مشابه
Designing Reliable Cyber-Physical Systems
CPS, that consist of a cyber part – a computing system – and a physical part – the system in the physical environment – as well as the respective interfaces between those parts, are omnipresent in our daily lives. The application in the physical environment drives the overall requirements that must be respected when designing the computing system. Here, reliability is a core aspect where some o...
متن کاملAutonomic Computing Framework for Cyber-Physical Systems
The more systems are becoming to be controlled by computing devices. Cyber-Physical Systems (CPS) are expected to be an alternative to the traditional control systems. However, there are several problems to adopt CPS since they cannot adapt to changes in environment and system failures. Autonomic computing concept is widely applied to enable systems to adapt changes at runtime. In this paper we...
متن کاملA Framework for Developing Cyber-Physical Systems
Cyber physical systems (CPSs) are pervasive in our daily life from mobile phones to auto driving cars. CPSs are inherently complex due to their sophisticated behaviors and thus difficult to build. In this paper, we propose a framework to develop CPSs based on a model driven approach with quality assurance throughout the development process. An agent-oriented approach is used to model individual...
متن کاملA Data-Centric Framework for Cyber-Physical-Social Systems
C yber-physical systems (CPSs) enable the physical world to merge with the virtual world by integrating computation and physical processes. A CPS facilitates tight integration between computa tion, communication, and con trol in its operation and interactions with the environment in which it’s deployed. Now, in addition to embracing cyber and physical features, interest is growing in harnessing...
متن کاملEFSMT: A Logical Framework for Cyber-Physical Systems
The design of cyber-physical systems is challenging in that it includes the analysis and synthesis of distributed and embedded real-time systems for controlling, often in a nonlinear way, the environment. We address this challenge with EFSMT, the exists-forall quantified first-order fragment of propositional combinations over constraints (including nonlinear arithmetic), as the logical framewor...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Korean Institute of Communications and Information Sciences
سال: 2013
ISSN: 1226-4717
DOI: 10.7840/kics.2013.38c.12.1228